首页> 外文OA文献 >SATenstein: Automatically Building Local Search SAT Solvers From Components

【2h】

SATenstein: Automatically Building Local Search SAT Solvers From Components

机译：saTenstein：从组件自动构建本地搜索saT求解器

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Ashiqur Rahman KhudaBukhsh;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SATenstein: Automatically building local search SAT solvers from components [J] . Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Artificial intelligence . 2016,第Mara期

机译：SATenstein：从组件自动构建本地搜索SAT求解器
2. Guided Local Search for Solving SAT and Weighted MAX-SAT Problems [J] . PATRICK MILLS, EDWARD TSANG Journal of Automated Reasoning . 2000,第1a2期

机译：引导性本地搜索以解决SAT和加权MAX-SAT问题
3. The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers [J] . Federico Heras, David Baneres Journal on Satisfiability, Boolean Modeling and Computation . 2010,第4期

机译：基于Max-SAT分辨率的预处理器对本地搜索求解器的影响
4. SATenstein: Automatically Building Local Search SAT Solvers From Components [C] . Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, International joint conference on artificial intelligence;IJCAI-09 . 2009

机译：SATenstein：从组件自动构建本地搜索SAT解算器
5. Search space structures of local search algorithms for SAT. [D] . Li, Guang. 2004

机译：SAT局部搜索算法的搜索空间结构。
6. Search and Coherence-Building in Intuition and Insight Problem Solving [O] . Michael Öllinger, Albrecht von Müller -1

机译：直觉和洞察力解决方案中的搜索和连贯性构建
7. An Efficient Local Search SAT Solver with Effective Preprocessing for Structured Instances [O] . Md Shibbir Hossen, Md Masbaul Alam Polash 2021

机译：有效的本地搜索SAT求解器，具有有效的结构化实例预处理

SATenstein: Automatically Building Local Search SAT Solvers From Components

著录项

相似文献

相关主题

期刊订阅